(e.P(e)  e'.Q(e')) with R
== f:{e:E| P(e)} {e:E| Q(e)} . (e.P(e) a.f(a) e'.Q(e')) with R 

latex

---

clarification:

causally-related(es;e.P(e);e'.Q(e');R)
== f:{e:es-E(es)| P(e)} {e:es-E(es)| Q(e)} . causal-bijection(es;a.f(a);e.P(e);e'.Q(e');R) 

latex

Definitions	x:A. B(x), x:AB(x), {x:A| B(x)} , E, (e.P(e) a.f(a) e'.Q(e')) with R, f(a)
FDL editor aliases	causally-related